Discrete Event Systems Modelling and Supervisory Control

Discrete-event models are generally used to describe systems where coordination and control is required to ensure the orderly flow of events, or to avoid the occurrence of certain chains of events. Reduced Supervision and Hierarchical Supervision are methods of obtaining a supervisor in which control is divided or we can say that the control is distributed. In this paper the Problem of Guide Way, small factory problem and Big factory problem are taken as examples to explain the procedure to obtain supervisory controller using DES by TCT software. It is shown that the specifications are controllable and nonblocking.